Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
851	2) Some prerequisites for a study of the evolution of cognition in the animal kingdom foundations Add to Reading List Source URL: crmenant.free.fr Language: English - Date: 2014-07-04 05:45:19 Logic programming Information Science Programming paradigms Constraint programming Constraint satisfaction
852	Corrective Explanation for Interactive Constraint Satisfaction ∗ Barry O’Sullivan, Barry O’Callaghan and Eugene C. Freuder Cork Constraint Computation Centre Department of Computer Science, University College Cork, Add to Reading List Source URL: www.ijcai.org Language: English - Date: 2005-07-11 16:51:00 Mathematical optimization Constraint satisfaction Random variable Computing Artificial intelligence Applied mathematics Constraint programming Constraint satisfaction problem Heuristic
853	Value Ordering for Finding All Solutions Barbara M. Smith Cork Constraint Computation Centre, Ireland. [removed] Abstract Add to Reading List Source URL: ijcai.org Language: English - Date: 2005-07-11 15:45:16 Computing Local consistency Constraint satisfaction Backjumping Backtracking Search algorithm Lookup table Decomposition method Constraint optimization Constraint programming Computer programming Software engineering
854	5072 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 57, NO. 8, AUGUST 2011 Peer-to-Peer Streaming Capacity Sudipta Sengupta, Senior Member, IEEE, Shao Liu, Minghua Chen, Mung Chiang, Senior Member, IEEE, Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-01-19 22:20:59 NP-complete problems Constraint programming Steiner tree problem Maximum flow problem Tree T-tree B-tree Peer-to-peer Decomposition method Graph theory Mathematics Theoretical computer science
855	Optimal Refutations for Constraint Satisfaction Problems Tudor Hulubei and Barry O’Sullivan Cork Constraint Computation Centre Department of Computer Science, University College Cork, Ireland [removed], b.osull Add to Reading List Source URL: www.ijcai.org Language: English - Date: 2005-07-11 15:36:00 Operations research Combinatorial optimization Heuristic function Heuristic Search algorithm Mathematical optimization Branch and bound Algorithm Local consistency Mathematics Constraint programming Heuristics
856	Durham Research Online Deposited in DRO: 09 March[removed]Version of attached le: Add to Reading List Source URL: dro.dur.ac.uk Language: English - Date: 2014-03-10 13:37:58 Electric power Operations research Mathematics Power engineering Applied mathematics Constraint optimization Multi-objective optimization Genetic algorithm Linear programming Electromagnetism Mathematical optimization Electrical engineering
857	Oct 1st 2009 EUCogII Présentation C. Menant20091002230837 Add to Reading List Source URL: crmenant.free.fr Language: English - Date: 2011-10-13 10:05:56 Constraint programming Constraint satisfaction Constraint
858	Interior Point Algorithms for Large-Scale Nonlinear Programming: Theory and Algorithmic Development ¨ Andreas Wachter IBM T.J. Watson Research Center Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2005-03-02 14:22:17 Nonlinear programming Optimal control Linear programming Interior point method Partial differential equation Constraint Convex function Sequential quadratic programming Duality gap Mathematical optimization Mathematical analysis Mathematics
859	A Modal Perspective on Path Constraints Natasha Alechina∗ St´ephane Demri† Maarten de Rijke‡ Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 10:52:56 Constraint programming Temporal logic Model theory Formal languages Modal logic Philosophical logic Satisfiability Boolean satisfiability problem Logic programming Logic Theoretical computer science Mathematical logic
860	State space search with prioritised soft constraints Brian Logan School of Computer Science and IT, University of Nottingham, Nottingham NG8 1BB, UK. Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Software engineering Applied mathematics Constraint Mathematical optimization Search algorithm Constraint optimization Constraint logic programming Constraint programming Theoretical computer science Constraint satisfaction

UPDATE